Layout Design of a Furniture Production Line Using Formal Methods

نویسندگان

  • E. Shayan Faculty of Engineering, Swinburne University of Technology, Hawthorn, Victoria, Australia
  • Pinto Wilsten J. Faculty of Engineering, Swinburne University of Technology, Hawthorn, Victoria, Australia
چکیده مقاله:

This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Optimization of a furniture factory layout

This paper deals with the problem of optimizing a factory floor layout in a Slovenian furniture factory. First, the current state of the manufacturing system is analyzed by constructing a discrete event simulation (DES) model that reflects the manufacturing processes. The company produces over 10,000 different products, and their manufacturing processes include approximately 30,000 subprocesses...

متن کامل

Machinery Optimal Layout Design of a Production System with the Aim of Reducing Transportation Costs Using Imperialist Competitive Algorithm

In this study, solutions for machinery layout with the aim of reducing transportation costs will be discussed. To do this, imperialist competitive algorithm (ICA), which is a very complicated and effective meta-heuristic algorithm is introduced. In the offered algorithm, different kinds of machinery layout are considered in single-row as country and then the best possible layout is developed ba...

متن کامل

Spacecraft early design validation using formal methods

The size and complexity of software in spacecraft is increasing exponentially, and this trend complicates its validation within the context of the overall spacecraft system. Current validation methods are labor-intensive as they rely on manual analysis, review and inspection. For future space missions, we developed with challenging requirements from the European space industry a novel modeling ...

متن کامل

Trustworthy spacecraft design using formal methods

Model-based system-software co-engineering is a natural evolution towards meeting the high demands of upcoming deep-space and satellite constellation missions. It advocates better abstractions to cope with the increasing spacecraft complexity, and opens the door for a wide range of formal methods, benefiting from the mathematical rigour and precision they bring. This dissertation provides for b...

متن کامل

A Formal Framework for Specifying Design Methods

The main objective of this paper is to put forward a software process model for high-performance systems (HPS), and to present a formal framework to describe software design methodologies (SDMs) for those systems. The framework consists of two main parts: the software process activities which characterise the development of HPS, and the components of the SDM (concepts, artifacts, representation...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره 1  شماره 1

صفحات  81- 96

تاریخ انتشار 2007-04-01

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023